直観主義 Intuitionism
数学
無限集合において排中律 law of the excluded middleを捨てる
ラッセルのパラドックス Russell's paradox